Autor: Manna, Zohar Se han encontrado 3 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Libro |
Temporal verification of reactive systems: safety | Manna, Zohar |
1a. ed.
(1995) |
Domicilio
|
---------- |
Libro |
The logical basis for computer programming | Manna, Zohar |
(c1985-1990) |
Domicilio
|
---------- |
Libro |
The temporal logic of reactive and concurrent systems: specification | Manna, Zohar |
1st ed.
(1991) |
Domicilio
|
---------- |